<?php
require_once('TXTFile.php');
/**
 * Race07 spezifische Datei..
 *
 * @author Timo
 */
class race07File extends TXTFile
{
    //put your code here
}

?>
